Study of Behaviours via Visitable Paths
نویسندگان
چکیده
Ludics is a logical theory that J.-Y. Girard developed around 2000. At first glance, it may be considered as a Brouwer-Heyting-Kolmogorov interpretation of Logic as a formula is denoted by the set of its proofs. More primitively, Ludics is a theory of interaction that models (a variant of) second-order multiplicative-additive Linear Logic. A formula is denoted by a set of objects called a behaviour, a proof by an object that satisfies some criteria. Our aim is to analyze the structure of behaviours in order to better understand and refine the usual notion of formulas or types. More precisely, we study properties that guarantee a behaviour to be recursively decomposable by means of multiplicative-additive linear connectives and linear constants.
منابع مشابه
The Provision of Visitable Housing in Australia: Down to the Detail
In response to the ratification of the United Nations Convention of the Rights of People with Disabilities (CRPD), Australian housing industry leaders, supported by the Australian Government, committed to transform their practices voluntarily through the adoption of a national guideline, called Livable Housing Design. They set a target in 2010 that all new housing would be visitable by 2020. Re...
متن کاملPreparation of Organo Nanoclay Incorporated Polyamide/ Melamine Cyanurate/Nanoclay Composites and Study on Thermal and Mechanical Behaviours
This study focuses on achieving high stiffness/strength and good FR characteristic of nylon 66/MCA/NC nanocomposites, prepared via melt compounding by twin screw extruder. A synergistic effect of flame retardant systems based on melamine cyanurate and zinc borate on the flammability and mechanical behaviours of crysnanoclay reinforced nylon 66 nanocomposites have been reported. Mechanical test ...
متن کاملارزیابی تاثیر کاربرد تابلوهای ایمنی بر اصلاح رفتارهای ناایمن
Background and Objective: In recent decades studies have shown that the main cause of accidents is unsafe acts. Installation of safety signs is a complementary corrective action for unsafe act control. Therefore, the objective of the present study was to investgate the effects of safety signs on the modification of unsafe behaviours. Materials and Methods: This interventional study was carried ...
متن کاملComparison of the importance of caring behaviours as perceived by nurses and patients
Caring is the essence of nursing and is a universal phenomenon, not only essential for effective therapy also for self actualization and for human survival. Since research and information about caring has implications for improving maintenance of the quality of caring performance, this study was inducted to compare the importance of caring behaviours in professional nurses and in- patients in m...
متن کاملبررسی ارتباط رفتارهای مراقبت از خود با کیفیت زندگی بیماران مبتلا به نارسایی قلبی
As a matter of the fact, patient with a disability and chronic diseases such as heart failure, suffer from many health related problems. Promoting health and quality of life of these patients will be feasible, if they could promote their self care behaviours. In order to assess self care behaviours of these patient and its relationship with quality of life, we conducted a correlationel descrip...
متن کامل